P
(COND (& & &) (& &) (& &) (& &))
*2 PP
  [(AND (NULL BA1)
        (NULL BA2))
   (SETQ GTEMP23 (ANY1SAT (EXS OPERATION)
                          (AND)))
   (COND
     ([SETQ GTEMP24 (ANY1SAT (EXS OPERATION)
                             (AND (INTERSECTION (MAPCONC (GETB X (QUOTE 
**D-R))
                                                         (QUOTE LAST))
                                                (MAPCONC (GETB GTEMP23 (
**QUOTE D-R))
                                                         (QUOTE ALL-BUT-
**LAST)))
                                  [MEMB [CAR (LAST (CAR (GETB X (QUOTE D
**-R]
                                        (ALL-BUT-LAST (CAR (GETB GTEMP23
** (QUOTE D-R]
                                  [IS-ONE-OF [CAR (LAST (CAR (GETB X (QU
**OTE D-R]
                                             (ALL-BUT-LAST (CAR (GETB GT
**EMP23 (QUOTE D-R]
                                  (MEMB [CAR (LAST (CAR (GETB GTEMP23 (Q
**UOTE D-R]
                                        (ALL-BUT-LAST (CAR (GETB X (QUOT
**E D-R]
       (APPLYB (QUOTE COMPOSE)
               (QUOTE ALGS)
               GTEMP23 GTEMP24 BA3 BA4))
     (T (APPLYB (QUOTE INTERESTING-COMPOSE)
                (QUOTE ALGS]
*NX PP
  ((AND BA1 (NULL BA2))
   (AND [SETQ GTEMP24 (ANY1SAT (EXS OPERATION)
                               (AND (INTERSECTION (MAPCONC (GETB X (QUOT
**E D-R))
                                                           (QUOTE LAST))
                                                  (MAPCONC (GETB BA1 (QU
**OTE D-R))
                                                           (QUOTE ALL-BU
**T-LAST)))
                                    [MEMB [CAR (LAST (CAR (GETB X (QUOTE
** D-R]
                                          (ALL-BUT-LAST (CAR (GETB BA1 (
**QUOTE D-R]
                                    [IS-ONE-OF [CAR (LAST (CAR (GETB X (
**QUOTE D-R]
                                               (ALL-BUT-LAST (CAR (GETB 
**BA1 (QUOTE D-R]
                                    (MEMB [CAR (LAST (CAR (GETB BA1 (QUO
**TE D-R]
                                          (ALL-BUT-LAST (CAR (GETB X (QU
**OTE D-R]
        (APPLYB (QUOTE COMPOSE)
                (QUOTE ALGS)
                BA1 GTEMP24 BA3 BA4)))
*NX PP
  ((AND (NULL BA1)
        BA2)
   (AND [SETQ GTEMP23 (ANY1SAT (EXS OPERATION)
                               (AND (INTERSECTION (MAPCONC (GETB BA2 (QU
**OTE D-R))
                                                           (QUOTE LAST))
                                                  (MAPCONC (GETB X (QUOT
**E D-R))
                                                           (QUOTE ALL-BU
**T-LAST)))
                                    [MEMB [CAR (LAST (CAR (GETB BA2 (QUO
**TE D-R]
                                          (ALL-BUT-LAST (CAR (GETB X (QU
**OTE D-R]
                                    [IS-ONE-OF [CAR (LAST (CAR (GETB BA2
** (QUOTE D-R]
                                               (ALL-BUT-LAST (CAR (GETB 
**X (QUOTE D-R]
                                    (MEMB [CAR (LAST (CAR (GETB X (QUOTE
** D-R]
                                          (ALL-BUT-LAST (CAR (GETB BA2 (
**QUOTE D-R]
        (APPLYB (QUOTE COMPOSE)
                (QUOTE ALGS)
                GTEMP23 BA2 BA3 BA4)))
*NX PP
  ((AND BA1 BA2)
   (AND (INTERSECTION (MAPCONC (GETB BA2 (QUOTE D-R))
                               (QUOTE LAST))
                      (MAPCONC (GETB BA1 (QUOTE D-R))
                               (QUOTE ALL-BUT-LAST)))
        [MEMB [CAR (LAST (CAR (GETB BA2 (QUOTE D-R]
              (ALL-BUT-LAST (CAR (GETB BA1 (QUOTE D-R]
        [IS-ONE-OF [CAR (LAST (CAR (GETB BA2 (QUOTE D-R]
                   (ALL-BUT-LAST (CAR (GETB BA1 (QUOTE D-R]
        [MEMB [CAR (LAST (CAR (GETB BA1 (QUOTE D-R]
              (ALL-BUT-LAST (CAR (GETB BA2 (QUOTE D-R]
        (APPLYB (QUOTE COMPOSE)
                (QUOTE ALGS)
                BA1 BA2 BA3 BA4)))
*0 0 P
(TYPE QUASIRECURSIVE CASES REDUCING-TO COMPOSE (COND & & & &))
*0 0 P
... WORTH (312 150 700 500 400 990 900 1000 800 800 &) ALGS (ANY1OF &))
*0 P
(GENL (COMPOSE) DEFN (AND & & & & &) WORTH (312 150 700 500 400 990 900 
**1000 800 800 &) ALGS (ANY1OF &))
*OK

INTERESTING-COMPOSE, WORTH
(ANYB-EXS)
: